Optimal. Leaf size=208 \[ \frac {(10 a-7 b-2 b p) \cos ^3(e+f x) \left (a-b+b \sec ^2(e+f x)\right )^{1+p}}{15 (a-b)^2 f}-\frac {\cos ^5(e+f x) \left (a-b+b \sec ^2(e+f x)\right )^{1+p}}{5 (a-b) f}-\frac {\left (15 a^2-20 a b (1+p)+4 b^2 \left (2+3 p+p^2\right )\right ) \cos (e+f x) \, _2F_1\left (-\frac {1}{2},-p;\frac {1}{2};-\frac {b \sec ^2(e+f x)}{a-b}\right ) \left (a-b+b \sec ^2(e+f x)\right )^p \left (1+\frac {b \sec ^2(e+f x)}{a-b}\right )^{-p}}{15 (a-b)^2 f} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.15, antiderivative size = 208, normalized size of antiderivative = 1.00, number of steps
used = 5, number of rules used = 5, integrand size = 23, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.217, Rules used = {3745, 473, 464,
372, 371} \begin {gather*} -\frac {\left (15 a^2-20 a b (p+1)+4 b^2 \left (p^2+3 p+2\right )\right ) \cos (e+f x) \left (a+b \sec ^2(e+f x)-b\right )^p \left (\frac {b \sec ^2(e+f x)}{a-b}+1\right )^{-p} \, _2F_1\left (-\frac {1}{2},-p;\frac {1}{2};-\frac {b \sec ^2(e+f x)}{a-b}\right )}{15 f (a-b)^2}-\frac {\cos ^5(e+f x) \left (a+b \sec ^2(e+f x)-b\right )^{p+1}}{5 f (a-b)}+\frac {(10 a-2 b p-7 b) \cos ^3(e+f x) \left (a+b \sec ^2(e+f x)-b\right )^{p+1}}{15 f (a-b)^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 371
Rule 372
Rule 464
Rule 473
Rule 3745
Rubi steps
\begin {align*} \int \sin ^5(e+f x) \left (a+b \tan ^2(e+f x)\right )^p \, dx &=\frac {\text {Subst}\left (\int \frac {\left (-1+x^2\right )^2 \left (a-b+b x^2\right )^p}{x^6} \, dx,x,\sec (e+f x)\right )}{f}\\ &=-\frac {\cos ^5(e+f x) \left (a-b+b \sec ^2(e+f x)\right )^{1+p}}{5 (a-b) f}+\frac {\text {Subst}\left (\int \frac {\left (-10 a+b (7+2 p)+5 (a-b) x^2\right ) \left (a-b+b x^2\right )^p}{x^4} \, dx,x,\sec (e+f x)\right )}{5 (a-b) f}\\ &=\frac {(10 a-7 b-2 b p) \cos ^3(e+f x) \left (a-b+b \sec ^2(e+f x)\right )^{1+p}}{15 (a-b)^2 f}-\frac {\cos ^5(e+f x) \left (a-b+b \sec ^2(e+f x)\right )^{1+p}}{5 (a-b) f}+\frac {\left (15 a^2-20 a b (1+p)+4 b^2 \left (2+3 p+p^2\right )\right ) \text {Subst}\left (\int \frac {\left (a-b+b x^2\right )^p}{x^2} \, dx,x,\sec (e+f x)\right )}{15 (a-b)^2 f}\\ &=\frac {(10 a-7 b-2 b p) \cos ^3(e+f x) \left (a-b+b \sec ^2(e+f x)\right )^{1+p}}{15 (a-b)^2 f}-\frac {\cos ^5(e+f x) \left (a-b+b \sec ^2(e+f x)\right )^{1+p}}{5 (a-b) f}+\frac {\left (\left (15 a^2-20 a b (1+p)+4 b^2 \left (2+3 p+p^2\right )\right ) \left (a-b+b \sec ^2(e+f x)\right )^p \left (1+\frac {b \sec ^2(e+f x)}{a-b}\right )^{-p}\right ) \text {Subst}\left (\int \frac {\left (1+\frac {b x^2}{a-b}\right )^p}{x^2} \, dx,x,\sec (e+f x)\right )}{15 (a-b)^2 f}\\ &=\frac {(10 a-7 b-2 b p) \cos ^3(e+f x) \left (a-b+b \sec ^2(e+f x)\right )^{1+p}}{15 (a-b)^2 f}-\frac {\cos ^5(e+f x) \left (a-b+b \sec ^2(e+f x)\right )^{1+p}}{5 (a-b) f}-\frac {\left (15 a^2-20 a b (1+p)+4 b^2 \left (2+3 p+p^2\right )\right ) \cos (e+f x) \, _2F_1\left (-\frac {1}{2},-p;\frac {1}{2};-\frac {b \sec ^2(e+f x)}{a-b}\right ) \left (a-b+b \sec ^2(e+f x)\right )^p \left (1+\frac {b \sec ^2(e+f x)}{a-b}\right )^{-p}}{15 (a-b)^2 f}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 5.02, size = 283, normalized size = 1.36 \begin {gather*} -\frac {2^{3+p} \cos (e+f x) \sin ^4(e+f x) \left (a+b \tan ^2(e+f x)\right )^p \left (\left (15 a^2-20 a b (1+p)+4 b^2 \left (2+3 p+p^2\right )\right ) \, _2F_1\left (-\frac {1}{2},-p;\frac {1}{2};-\frac {b \sec ^2(e+f x)}{a-b}\right )+\frac {1}{4} (a+b+(a-b) \cos (2 (e+f x))) (-17 a+b (11+4 p)+3 (a-b) \cos (2 (e+f x))) \left (\frac {a+b \tan ^2(e+f x)}{a-b}\right )^p\right )}{15 (a-b)^2 f \left (3 \left (\frac {(a+b+(a-b) \cos (2 (e+f x))) \sec ^2(e+f x)}{a-b}\right )^p-2^{2+p} \cos (2 (e+f x)) \left (\frac {a+b \tan ^2(e+f x)}{a-b}\right )^p+2^p \cos (4 (e+f x)) \left (\frac {a+b \tan ^2(e+f x)}{a-b}\right )^p\right )} \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.80, size = 0, normalized size = 0.00 \[\int \left (\sin ^{5}\left (f x +e \right )\right ) \left (a +b \left (\tan ^{2}\left (f x +e \right )\right )\right )^{p}\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int {\sin \left (e+f\,x\right )}^5\,{\left (b\,{\mathrm {tan}\left (e+f\,x\right )}^2+a\right )}^p \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________